Gwendolen: A BDI Language for Verifiable Agents
نویسندگان
چکیده
We describe the Gwendolen BDI (Belief, Desires and Intentions) agent programming language. Gwendolen is implemented in the Agent Infrastructure Layer (AIL), a collection of Java classes intended for use in model checking agent programs in a variety of languages. The Gwendolen language was developed to test key features of the AIL and its integration with the model checker, JPF, and also to provide a default semantics for the AIL classes.
منابع مشابه
A New Semantics for the FIPA Agent Communication Language Based on Social Attitudes
One of the most important aspects of the research on agent interaction is the definition of agent communication languages (ACLs), and the specification of a proper formal semantics of such languages is a crucial prerequisite for the usefulness and acceptance of artificial agency. Nevertheless, those ACLs which are still mostly used, especially the standard FIPA-ACL, have a communication act sem...
متن کاملAgentSpeak(L): BDI Agents Speak Out in a Logical Computable Language
Belief-Desire-Intention (BDI) agents have been investigated by many researchers from both a theoretical specification perspectiveand a practical design perspective. However, there still remains a large gap between theory and practice. The main reason for this has been the complexity of theorem-proving or modelchecking in these expressive specification logics. Hence, the implemented BDI systems ...
متن کاملAgent-Based Stock Trader
In this paper, we introduce a unique implementation scheme of the Belief-Desire-Intention (BDI) model to be used in an agentbased application using Java. The example prototype system is the Agent-based Stock Trader (AST) that is a stock-trading expert based on intelligent agents. Agents in AST are based on the Belief-Desire-Intention (BDI) model in artificial intelligence. This paper proposes h...
متن کاملBDI4JADE: a BDI layer on top of JADE
Several agent platforms that implement the belief-desire-intention (BDI) architecture have been proposed. Even though most of them are implemented based on existing general purpose programming languages, e.g. Java, agents are either programmed in a new programming language or Domain-specific Language expressed in XML. As a consequence, this prevents the use of advanced features of the underlyin...
متن کاملPlanning with Time Limits in BDI Agent Programming Languages
This paper provides a theoretical basis for performing time limited planning within Belief-Desire-Intention (BDI) agents. The BDI agent architecture is recognised as one of the most popular architectures for developing agents for complex and dynamic environments, in addition to which they have a strong theoretical foundation. Recent work has extended a BDI agent specification language to includ...
متن کامل